<span style="color:#000080;">let&#32;</span><span style="color:#458383;">local</span><span style="">:&#32;<a href="psi_element://Box">Box</a>&lt;</span><span style="color:#000080;">string&#32;</span><span style="">|&#32;</span><span style="color:#000080;">number</span><span style="">&gt;</span><br/>[ide]<br/><span style="color:#000080;">let&#32;</span><span style="color:#458383;">local</span><span style="">:&#32;<a href="psi_element://Box">Box</a>&lt;</span><span style="color:#000080;">number&#32;</span><span style="">|&#32;</span><span style="color:#000080;">string</span><span style="">&gt;</span>